Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
171	c Cambridge University Press 2009 JFP: page 1 of 24. 1 doi:S0956796809990219 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-10-12 08:32:22 Logic in computer science Programming language semantics Models of computation Computability theory Logic programming Substitution Operational semantics Denotational semantics Lambda calculus Structure
172	A Virtual Machine for Functional Logic Computations⋆ Sergio Antoy1 , Michael Hanus2 , Jimeng Liu1 , and Andrew Tolmach1 1 2 Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-03-01 19:29:53 Software engineering Computer programming Computing Programming paradigms Computability theory Subroutines Programming idioms Models of computation Functional programming Curry Prolog Recursion
173	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Recursion Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 15:21:39 Software engineering Computer programming Recursion Subroutines Theoretical computer science Computability theory Fibonacci number Linked list Corecursion Anonymous function
174	Denotational semantics for lazy initialization of letrec black holes as exceptions rather than divergence Keiko Nakata Institute of Cybernetics at Tallinn University of Technology Abstract We present a denotational seman Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-30 13:11:03 Theoretical computer science Models of computation Mathematical logic Software engineering Computability theory Denotational semantics Logic in computer science Lambda calculus Substitution Function type
175	Control-Flow Analysis of Dynamic Languages via Pointer Analysis Steven Lyde William E. Byrd Add to Reading List Source URL: matt.might.net Language: English Lambda calculus Computability theory Theoretical computer science Control flow analysis Pointer Unification Closure Lambda calculus definition Lambda lifting
176	COPE (Console Operator Proficiency Examination) Add to Reading List Source URL: ed-thelen.org Language: English - Date: 2016-03-31 04:44:36 Computability theory Text Typewriter Test operator MAD Computing Software engineering Computer programming IBM System/3 IBM 305 RAMAC
177	Mechanized Mathematics Jacques Carette1 1 Department of Computing and Software, McMaster University www.cas.mcmaster.ca/∼carette Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-06-04 07:38:09 Theoretical computer science Computability theory Recursion Subroutines Mathematics Usability
178	Path resolution for recursive nested modules is undecidable Keiko Nakata1 ,3 and Jacques Garrigue2 1 2 Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-05-12 08:44:16 Software engineering Theoretical computer science Theory of computation Turing machine Computability theory Formal methods Models of computation Standard ML
179	Computability Theory and Foundations of Mathematics February, 2013 Tokyo Institute of Technology, Tokyo, Japan Add to Reading List Source URL: sendailogic.math.tohoku.ac.jp Language: English - Date: 2013-01-08 01:40:49
180	RecapRecursion ......... Add to Reading List Source URL: genome.sph.umich.edu Language: English - Date: 2012-09-10 22:41:44 Theoretical computer science Mathematical logic Recursion Computability theory Mechanical puzzles Tower of Hanoi Algorithm Pointer Sorting algorithm

UPDATE